RenameVar `x' 4 THEN IsectHD $x$ 2 THEN Auto